Continuation Semantics for Concurrency
نویسندگان
چکیده
This paper presents a continuation semantics satisfying the basic laws of concurrent systems. This semantics is illustrated for a simple CSP-like language extended with communication on multiple channels and synchronization based on join patterns, which also provides operators for nondeterministic choice, sequential and parallel composition. For the language under investigation we present a denotational semantics. Then we prove that the semantic operators designed with continuations obey the concurrency laws such as the associativity or the commutativity of parallel composition. The significance of the results is given mainly by the flexibility provided by the continuations technique which can thus be used to describe concurrent behaviour. 1Head of Formal Methods Laboratory (FML) 2Contact person
منابع مشابه
Continuation Semantics for Asynchronous Concurrency
The paper presents a method of reasoning about the behaviour of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency.
متن کاملContinuation Semantics for Concurrency with Multiple Channels Communication
In this paper we investigate the formal design of concurrent languages based on the concept of continuation. We present a denotational approach of concurrent programs by using continuations for concurrency. We illustrate the approach by designing a continuation semantics for a language with nondeterministic choice, sequential and parallel composition, and a mechanism of communication and synchr...
متن کاملComparative Semantics for the Basic Andorra Model
This paper employs techniques from metric semantics in defining and relating an operational and a denotational semantics for a simple abstract language which embodies the main control flow notions of Warren’s Basic Andorra Model. The both semantic models are designed with the ”continuation semantics for concurrency” (CSC) technique.
متن کاملContinuations for Prototyping Concurrent Languages
We have recently introduced the “continuation semantics for concurrency” (CSC) technique in an attempt to exploit the benefits of using continuations in concurrent systems development. In the CSC approach, a continuation is an application-dependent configuration of computations (partially evaluated denotations). Every computation or group of computations contained in a continuation can be acces...
متن کاملContinuation - Passing Semantics for Concurrency —
We investigate the formal design of concurrent languages in continuation-passing style (CPS). We present a continuation-based denotational semantics for an abstract language providing operators for nondeterministic choice, sequential and parallel composition, and a general mechanism of interaction between multisets of distributed actions. We show that the basic laws of concurrent systems are sa...
متن کامل